(0 19 9)(1 18 13)(2 7 5)(3 17 15)(4 20 16)(6 11 8)(10 14 12)
ALLOWS (11/8)-SEQUENCE
1: (4 16 20)
(0 19 9)(1 18 13)(2 7 5)(3 17 15)(4 16 20)(6 11 8)(10 14 12)
2: (3 17 15)
(0 19 9)(1 18 13)(2 7 5)(3)(4 16 20)(6 11 8)(10 14 12)(15)(17)
3: (4 16 20)
(0 19 9)(1 18 13)(2 7 5)(3)(4)(6 11 8)(10 14 12)(15)(16)(17)(20)
4: (0 19 9)
(0)(1 18 13)(2 7 5)(3)(4)(6 11 8)(9)(10 14 12)(15)(16)(17)(19)(20)